Tic-tac-toe meets Lean 4
ochagavia.nl·3d·
Discuss: Lobsters, Hacker News, r/programming
🎯Proof Tactics
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Four Multipliers for Using AI Well: My Working Model
dev.to·15h·
Discuss: DEV
✨Effect Handlers
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
I built 59 open-source Claude Code subagents to supercharge software development
github.com·21h·
Discuss: Hacker News
⚡Proof Automation
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·1d
⚙️RISC-V Microcode
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
I Taught Myself to Vibe Code: A Free Bootcamp
rafaelviana.com·15h·
Discuss: Hacker News
🏺ZIP Archaeology
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
The use of Claude Code in SciML repos
discourse.julialang.org·23h·
Discuss: Hacker News
📏Code Metrics
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·4h·
Discuss: Hacker News
🦀Rust Verification
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·3d
💻Local LLMs
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Kern: A production-grade structured Python logger(beats stdlib/loguru/structlog)
medium.com·4h·
Discuss: Hacker News
🔍eBPF
Bruteforcing pwgen passwords
blog.sesse.net·19h·
Discuss: Hacker News
🔓Password Cracking